Automatikos terminų žodynas. – Vilnius: Technika. Vilius Antanas Geleževičius, Angelė Kaulakienė, Stanislovas Marcinkevičius. 2004.
закон де моргана — общее название логических законов, связывающих с помощью отрицания конъюнкцию ( и ) и дизъюнкцию ( или ). Названы именем англ. логика XIX в. А. де Моргана. Один из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции… … Словарь терминов логики
закон экономии (канон Ллойд-Моргана) — закон зоопсихологиии, сформулированный Ллойд Морганом в 1894 г., суть которого заключается в следующем: нельзя объяснить поведение животного, исходя из более высокой психической способности, если оно может быть объяснено ниже стоящей в… … Энциклопедический словарь по психологии и педагогике
закон моргана — ЭМБРИОЛОГИЯ ЖИВОТНЫХ ЗАКОН МОРГАНА – Гены одной хромосомы образуют группу сцепления и наследуются сцепленно. Сила сцепления обратно пропорциональна расстоянию между генами и нарушается при кроссинговере … Общая эмбриология: Терминологический словарь
ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… … Философская энциклопедия
логический закон — выражение, содержащее только логические константы и переменные и явля ющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего,… … Словарь терминов логики
Правила де Моргана — Законы де Моргана (правила де Моргана) логические правила, связывающие пары дуальных логических операторов при помощи логического отрицания. Определение Огастес де Морган первоначально заметил, что в классической пропозициональной логике… … Википедия
Законы де Моргана — (правила де Моргана) логические правила, связывающие пары дуальных логических операторов при помощи логического отрицания. Открыты шотландским математиком Огастесом де Морганом Определение Огастес де Морган первоначально заметил, что в… … Википедия
ЗАКОНЫ ДЕ МОРГАНА — законы логики высказываний, связывающие отрицание с операциями конъюнкции и дизъюнкции, соответствующими логич. союзам и и неразделительному или естеств. языка. З. де М. в словесной формулировке были известны еще схоластич. логикам. В математич.… … Философская энциклопедия
Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… … Википедия
Конъюнктивная нормальная форма — (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… … Википедия
